Theorem Proving in Higher Order...
Paperback
Published 07 Aug 2002
Save $6.73
- RRP $61.51
- $54.78
Search for "César A Muñoz"
6 results
-
$6.73off
-
$4.83off
Interactive Theorem Proving
Paperback
Published 21 Aug 2017Save $4.83
- RRP $61.51
- $56.68
-
$5.67off
NASA Formal Methods
Paperback
Published 11 Mar 2018Save $5.67
- RRP $61.51
- $55.84
-
$13.42off
NASA Formal Methods Programming...
Paperback
Published 17 May 2021Save $13.42
- RRP $102.53
- $89.11
-
$33.01off
HCI for Children With Disabilit...
Paperback
Published 09 Sep 2018Save $33.01
- RRP $136.71
- $103.70
-
Interactive Theorem Proving
Paperback
Published 25 Aug 2017